Models of Infinite-State Systems with Constraints Master’s Thesis
نویسنده
چکیده
We extend a widely used concept of rewrite systems with a mechanism for computing with partial information in a form similar to the one used in concurrent constraint programming. We present how this extension changes the expressive power of rewrite systems classes which are included in Mayr’s PRS hierarchy [May97b]. The new classes (fcBPA, fcBPP, fcPA, fcPAD, fcPAN, fcPRS) are described and inserted into the hierarchy.
منابع مشابه
Formal Verification of Sequential Systems with Infinitely Many States Master’s Thesis
In recent years, model checking algorithms for verification of infinite-state systems were deeply studied and applied to practical problems. We show, how to use the algorithms for pushdown systems and various modal logics of [4] for verification of Java programs. The process of mechanical abstract model generation is described, and a prototype tool called JAVACHECK is implemented to verify our ...
متن کاملOptimal Finite-time Control of Positive Linear Discrete-time Systems
This paper considers solving optimization problem for linear discrete time systems such that closed-loop discrete-time system is positive (i.e., all of its state variables have non-negative values) and also finite-time stable. For this purpose, by considering a quadratic cost function, an optimal controller is designed such that in addition to minimizing the cost function, the positivity proper...
متن کاملEstimation of Binary Infinite Dilute Diffusion Coefficient Using Artificial Neural Network
In this study, the use of the three-layer feed forward neural network has been investigated for estimating of infinite dilute diffusion coefficient ( D12 ) of supercritical fluid (SCF), liquid and gas binary systems. Infinite dilute diffusion coefficient was spotted as a function of critical temperature, critical pressure, critical volume, normal boiling point, molecular volume in normal boilin...
متن کاملProduction Constraints Modelling: A Tactical Review Approach
A constraint is a limitation or a restriction that poses a threat to the performance and efficiency of a system. This paper presented a tactical review approach to production constraints modeling. It discussed the theory of constraints (TOC) as a thinking process and continuous improvement strategy to curtail constraints in other to constantly increase the performance and efficiency of a system...
متن کاملApplication of the Genetic Algorithm to Calculate the Interaction Parameters for Multiphase and Multicomponent Systems
A method based on the Genetic Algorithm (GA) was developed to study the phase behavior of multicomponent and multiphase systems. Upon application of the GA to the thermodynamic models which are commonly used to study the VLE, VLLE and LLE phase equilibria, the physically meaningful values for the Binary Interaction Parameters (BIP) of the models were obtained. Using the method proposed in t...
متن کامل